Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
671	PDF Document Add to Reading List Source URL: www.noblesys.com Language: English - Date: 2011-11-17 09:54:28 Software development process Software engineering Noble Systems Corporation Implementation Transition methodology Needs assessment Project management Computing Knowledge Formal methods Science Methodology
672	PDF Document Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2012-03-31 10:17:14 Software development Specification Formal specification Modeling language Software development process Java Modeling Language Verification and validation Data model Service-oriented architecture Science Formal methods Technology
673	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
674	PDF Document Add to Reading List Source URL: www.opengroup.org Language: English - Date: 2015-01-07 02:13:27 Ethics Evaluation methods Consensus decision-making Meetings Behavior Sociology Formal consensus Decision theory Group processes Working groups
675	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
676	PDF Document Add to Reading List Source URL: misrc.umn.edu Language: English - Date: 2008-05-12 15:03:37 Software development Formal methods Software development process Business process improvement Business analyst Business intelligence Business process modeling Business process management Business Management Process management
677	14 – 17 OCTOBER 2014 \| HOTEL RUSSELL, LONDON THE TECHNICAL CONFERENCE FOR SOFTWARE ARCHITECTS AND SOFTWARE DEVELOPERS CONFERENCE AGENDA 2014 For more detailed presentation abstracts, speaker biographies and registratio Add to Reading List Source URL: software-architect.co.uk Language: English - Date: 2014-07-08 05:26:10 Software testing Software project management Formal methods Agile software development Enterprise application integration Behavior Driven Development Mobile application development ASP.NET Software development process Software development Software Computing
678	MIMIC – “Minimizing risks of maritime oil transport by holistic safety strategies” (CB 38) Open Days seminar, Tallinn, 3 October 2012 The Concept of Smart Response integrating the safety and security R. Aps Add to Reading List Source URL: www.merikotka.fi Language: English - Date: 2014-02-27 09:10:08 Formal methods Systems engineering Dependability Life-critical system Computer security Security Prevention Safety
679	Clustering Methods for Road Grouping in FHWA Traffic Monitoring Factor Approach Rossi Riccardo, Gastaldi Massimiliano, Gecchele Gregorio, Caprini Armando Department of Structural and Transportation Engineering, Universi Add to Reading List Source URL: www.mech.kuleuven.be Language: English* - Date: 2011-06-01 10:21:41 Data analysis Formal sciences Data mining Hierarchical clustering Annual average daily traffic K-medoids Single-linkage clustering Medoid K-means clustering Statistics Cluster analysis Machine learning
680	PDF Document Add to Reading List Source URL: statistics.cos.ucf.edu Language: English - Date: 2013-03-07 14:33:14 Formal methods Product management Software development Software engineer Software Software engineering Business Software project management

UPDATE